Source Code Verification for Embedded Systems using Prolog

Source Code Verification for Embedded Systems using Prolog

System relevant embedded software needs to be reliable and, therefore, well tested, especially for aerospace systems. A common technique to verify programs is the analysis of their abstract syntax tree (AST). Tree structures can be elegantly analyzed with the logic programming language Prolog. Moreover, Prolog offers further advantages for a thorough analysis: On the one hand, it natively provi...

Distributed Source Code Debugging for Embedded Systems

Embedded system debuggers deal with several layers of target system abstraction, including circuit, machine code, assembly code, procedural code and extension code layers. The Luxdbg debugger contains an explicit API for each of these layers, providing opportunities for networked distribution at any of them. Having evolved in an environment of assembly code debugging for small-footprint signal ...

Exporting Prolog source code

In this paper we present a simple source code configuration tool. ExLibris operates on libraries and can be used to extract from local libraries all code relevant to a particular project. Our approach is not designed to address problems arising in code production lines, but rather, to support the needs of individual or small teams of researchers who wish to communicate their Prolog programs. In...

A PROLOG Tool for Slicing Source Code

We describe a PROLOG tool for slicing source code. We assume that there exists an XML representation of the parse tree of the code. Then, we can perform an analysis of the extended call graph based on methods from the tool VISUR/RAR to determine the relevant predicates for the slice. User–defined policies reflecting the different styles of programming of different users can be plugged into the ...

Source code analysis, management, and visualization for PROLOG